\problem {
\forall int a, b, c; (! (!

 \exists int x; (2*x + 3*a + -3*b + -2*c + -1 = 0 & -3*x + -2*a + 42 >= 0 & 2*x + 3*a + -3*b + -2*c + -1 >= 0 & -1*x + -3*a + 24 >= 0 & -1*x + -2*a + 18 >= 0 & x >= 0) & !

 \forall int x; (! (-3*x + -2*a + 42 >= 0 & 2*x + 3*a + -3*b + -2*c + -1 >= 0 & -1*x + -3*a + 24 >= 0 & -1*x + -2*a + 18 >= 0 & x >= 0)) &

 ! (5*a + -9*b + -6*c + 78 >= 0 & -3*a + -3*b + -2*c + 46 >= 0 & -1*a + -3*b + -2*c + 34 >= 0 & -1*a + 8 >= 0)))
}